Transitivité de \(\lt \) : Si \(x,y,z\in A\) sont tels que \(x\lt y\) et \(y\lt z\), alors \(x\lt z\)
[Schéma d'une relation] \(\longleftrightarrow\) transitivité
